Alias calculus, change calculus and frame inference
نویسندگان
چکیده
منابع مشابه
Alias calculus, change calculus and frame inference
Article history: Received 25 September 2013 Accepted 5 November 2013 Available online xxxx
متن کاملAlias and Change Calculi, Applied to Frame Inference
Alias analysis, which determines whether two expressions in a program may reference to the same object, has many potential applications in program construction and verification. We have developed a theory for alias analysis, the “alias calculus”, implemented its application to an object-oriented language, and integrated the result into a modern IDE. The calculus has a higher level of precision ...
متن کاملElaborating on the alias calculus
In this research-in-progress report, we elaborate on the alias calculus introduced in [1], [2]. The alias calculus is to determine whether two reference expressions at the given program point may address the same object at the run-time (in other words, whether one expression may be an alias of the other expression). The main intended application of the alias calculus is to support deductive ver...
متن کاملStatistical inference and Malliavin calculus∗
The derivative of the log-likelihood function, known as score function, plays a central role in parametric statistical inference. It can be used to study the asymptotic behavior of likelihood and pseudo-likelihood estimators. For instance, one can deduce the local asymptotic normality property which leads to various asymptotic properties of these estimators. In this article we apply Malliavin C...
متن کاملLinear Lambda Calculus and Deep Inference
We introduce a deep inference logical system SBVr which extends SBV [6] with Rename, a self-dual atom-renaming operator. We prove that the cut free subsystem BVr of SBVr exists. We embed the terms of linear λ-calculus with explicit substitutions into formulas of SBVr. Our embedding recalls the one of full λ-calculus into π-calculus. The proof-search inside SBVr and BVr is complete with respect ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2015
ISSN: 0167-6423
DOI: 10.1016/j.scico.2013.11.006